A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Experimental and numerical analysis of cylindrical turbulators in a double pipe heat exchanger under turbulent flow conditions

In the present work, the use of cylindrical turbulators in a double pipe heat exchanger has been investigated. Cylindrical fin type of turbulators has been placed circumferentially separated by 90° on the outer side of an inner pipe at a regular pitch. Experimental studies were undertaken for different air flow rates in a turbulent regime whose Reynolds number range between 2500 and 10000. Heat transfer characteristics like Nu and friction factor have been experimentally determined. Parametric studies were conducted by changing the pitch and also the orientation of the turbulators. Nu and friction factor were found to increase as the pitch is reduced. A model with alternatively changed orientation outperformed others by exhibiting highest Nu and reduced friction factor.     

Meshless acoustic analysis using a weakly singular Burton-Miller boundary integral formulation

The Burton-Miller boundary integral formulation is solved by a complex variable boundary element-free method (CVBEFM) for the boundary-only meshless analysis of acoustic problems with arbitrary wavenumbers. To regularize both strongly singular and hypersingular integrals and to avoid the computation of the solid angle and its normal derivative, a weakly singular Burton-Miller formulation is derived by considering the normal derivative of the solid angle and adopting the singularity subtraction procedures. To facilitate the implementation of the CVBEFM and the approximation of gradients of the boundary variables, a stabilized complex variable moving least-square approximation is selected in the meshless discretization procedure. The results show the accuracy and efficiency of the present CVBEFM and reveal that the method can produce satisfactory results for all wavenumbers, even for extremely large wavenumbers such as k = 10 000.     

浮升力和流动加速对超临界CO2管内流动传热影响

基于单相流体的概念,超临界流体的异常传热行为已经被研究很多年了,但是关于其流动传热机理仍没有统一的认识.本文通过理论分析和实验研究了超临界二氧化碳在竖直管内向上流动过程中,浮升力和流动加速效应对其流动结构和传热过程的影响.结果表明,没有确凿的实验证据表明超临界流体的异常传热行为是浮升力和流动加速直接导致的,存在的估计浮升力和流动加速效应准则均是在常物性流体的基础上,做了大量假设得出的,不同的研究者采用浮升力和流动加速准则分析超临界流体的传热恶化得出的结论不一致.最后,基于拟沸腾理论分析超临界流体的传热恶化过程,提出超临界沸腾数区分了超临界流体正常传热与恶化传热的转换边界,为超临界流体流动传热研究提供新思路,超临界沸腾数对建立用于不同技术的超临界流体动力循环的最佳运行条件具有重要意义.     

两个DEA的逆问题的解法的探讨

文[1]提出了两个DEA的逆问题，并用搜索法来解．而本文根据所证的定理，对每个问题一般只要解二、三个线性规划问题就能得到答案．     

含气率对PTS时压力容器内流动与传热的影响

本文对反应堆压力容器紧急安注时的流动与传热特性在1/10的模型上进行了流动可视化、局部传热系数以及混合函数的试验研究。针对三个热冲击敏感区域的部分测点,比较了环腔流速为0.5m/s、安注流速为1～30 m/s时不同含气率对下降环腔内流动与传热特性的影响,得出并分析了不同测点传热系数、混合函数的变化规律。研究结果表明:随着含气率增大,安注流体与环腔流体的混合增强;下降环腔内的含气率对小安注流速时的流动与传热影响显著,而对大安注流速时影响较小。